$\forall$${\it es}$:event\_system\{i:l\}, $i$,$x$:Id. es{-}isconst(${\it es}$; $i$; $x$) $\in$ $\mathbb{B}$